(((ENSCSAVT00000012322,ENSCINT00000007587),(ENSCINT00000036917,ENSCSAVT00000012996)),ENSCSAVT00000011177);